The law on electronic commerce-ten years later

Medical errors, patient safety, and the law: ten years later.

Workcraft: Ten Years Later

A large number of models that are employed in the field of concurrent systems’ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such fo...

Migratory Typing: Ten Years Later

In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time consuming and error prone. Ten years ago, the two lead authors outlined a linguistic solution to this problem. Specifically they proposed the crea...

Computability Closure: Ten Years Later

The notion of computability closure has been introduced for proving the termination of higher-order rewriting with first-order matching by Jean-Pierre Jouannaud and Mitsuhiro Okada in a 1997 draft which later served as a basis for the author's PhD. In this paper, we show how this notion can also be used for dealing with beta-normalized rewriting with matching modulo beta-eta (on patterns \`a la...

THE SUGARCANE UBPCs TEN YEARS LATER

The main theme of this conference is “Cuba: Ten Years after the Announcement of Economic Reforms.” The principal policy change announced in 1993 for the agricultural sector was the breakup of the state monopoly on land. To replace most state farms, a new form of agricultural organization was established: the Basic Unit of Cooperative Production (Unidad Básica de Producción Cooperativa, UBPC).1